Nuprl Definition : es-state-when
0,22
postcript
pdf
(state when
e
)
== 1of(when-after(
e
;es_info(
es
);es-pred?(
es
);es_init(
es
);es-Trans(
es
);es_val(
es
)))
latex
clarification:
es-state-when(
es
;
e
)
== 1of(when-after(
e
;es_info(
es
);es-pred?(
es
);es_init(
es
);es-Trans(
es
);es_val(
es
)))
latex
Definitions
1of(
t
)
,
when-after(
e
;
info
;
pred?
;
init
;
Trans
;
val
)
,
es_info(
es
)
,
es-pred?(
es
)
,
es_init(
es
)
,
es-Trans(
es
)
,
es_val(
es
)
FDL editor aliases
es-state-when
origin